|
|
Risk Management Technologies
by Solozhentsev, E.D.
Publication:
. XXII, 305p. 75 illus., 20 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Functional Languages
by Hinze, Ralf.
Publication:
. X, 241 p. 72 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Modeling and Using Context
by Brézillon, Patrick.
Publication:
. XII, 381 p. 110 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Logic in Multi-Agent Systems
by Leite, João.
Publication:
. XXIV, 391 p. 75 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
New Frontiers in Artificial Intelligence
by Motomura, Yoichi.
Publication:
. XVI, 257 p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Artificial General Intelligence
by Kühnberger, Kai-Uwe.
Publication:
. XII, 207 p. 39 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
by Gaag, Linda C.
Publication:
. XII, 536 p. 62 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Language Engineering
by Czarnecki, Krzysztof.
Publication:
. XII, 413 p. 172 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Aspects of Component Software
by Păsăreanu, Corina S.
Publication:
. X, 277 p. 72 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tools for Practical Software Verification
by Meyer, Bertrand.
Publication:
. VIII, 183 p. 31 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Aspects of Component Software
by Arbab, Farhad.
Publication:
. X, 369 p. 131 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Artificial General Intelligence
by Bach, Joscha.
Publication:
. XII, 381 p. 121 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in Natural Language Processing
by Isahara, Hitoshi.
Publication:
. X, 334 p. 96 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods: Foundations and Applications
by Gheyi, Rohit.
Publication:
. X, 227 p. 67 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reasoning Web. Semantic Technologies for Advanced Query Answering
by Eiter, Thomas.
Publication:
. IX, 387 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Argumentation in Multi-Agent Systems
by McBurney, Peter.
Publication:
. X, 231 p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
CONCUR 2012 – Concurrency Theory
by Koutny, Maciej.
Publication:
. XIV, 582 p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Datalog in Academia and Industry
by Barceló, Pablo.
Publication:
. XIV, 191 p. 20 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
FM 2012: Formal Methods
by Giannakopoulou, Dimitra.
Publication:
. XVI, 488 p. 142 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
PRICAI 2012: Trends in Artificial Intelligence
by Anthony, Patricia.
Publication:
. XXIV, 905 p. 332 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|